Frankfurt counter-example defused
نویسندگان
چکیده
منابع مشابه
Counter-Example Guided Program Verification
This paper presents a novel counter-example guided abstraction refinement algorithm for the automatic verification of concurrent programs. Our algorithm proceeds in different steps. It first constructs an abstraction of the original program by slicing away a given subset of variables. Then, it uses an external model checker as a backend tool to analyze the correctness of the abstract program. I...
متن کاملA Counter Example of Invariant Deformation Quantization
In this note, we will show one example of hamiltonian Lie algebra action which has no invariant star product.
متن کاملA Counter-Example to Theatrical Type Theories
John Dilworth Plays, symphonies and other works in the performing arts are generally regarded, ontologically speaking, as being types, with individual performances of those works being regarded as tokens of those types. But I show that there is a logical feature of type theory which makes it impossible for such a theory to satisfactorily explain a 'double performance' case that I present: one i...
متن کاملCounter-Example Generation-Based One-Class Classification
For One-Class Classification problems several methods have been proposed in the literature. These methods all have the common feature that the decision boundary is learnt by just using a set of the positive examples. Here we propose a method that extends the training set with a counter-example set, which is generated directly using the set of positive examples. Using the extended training set, ...
متن کاملA counter-example to the Cantelli conjecture
In this paper, we construct a counter-example to a question by Cantelli, asking whether there exists a non-constant positive measurable function φ such that for i.i.d. r.v. X,Y of law N (0, 1), the r.v. X + φ(X) · Y is also Gaussian. For the construction that we propose, we introduce a new tool, the Brownian mass transport: the mass is transported by Brownian particles that are stopped in a spe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Analysis
سال: 2010
ISSN: 0003-2638,1467-8284
DOI: 10.1093/analys/anq038